Generalization of automatic sequences for numeration systems on a regular language

نویسنده

  • Michel Rigo
چکیده

Let L be an infinite regular language on a totally ordered alphabet (Σ, <). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the output alphabet of the automaton. This process generalizes the concept of k-automatic sequence for abstract numeration systems on a regular language (instead of systems in base k). Here, I study the first properties of these sequences and their relations with numeration systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Sequences and Related Topics Suites Automatiques Et Sujets Reliés

numeration systems are a natural generalization of positional numeration systems whose set of representations of all the integers is a regular language. They were introduced five years ago by P. Lecomte and myself [3] and are defined in the following way. Consider any infinite regular language L over a totally ordered alphabet (A,<). An abstract numeration system is thus simply given by the tri...

متن کامل

Combinatorics, Automata and Number Theory

numeration systems The motivation for the introduction of abstract numeration systems stemsfrom the celebrated theorem of Cobham dating back to 1969 about the so-called recognisable sets of integers in any integer base numeration system.An abstract numeration system is simply an infinite genealogically ordered(regular) language. In particular, this notion extends the usual integ...

متن کامل

Some results about numeration systems on a regular language : Formal power series and Multiplication by a constant in the polynomial case

Generalizations of numeration systems in which N is recognizable by finite automata are obtained by describing a lexicographically ordered infinite regular language. For these systems of numeration, we obtain a characterization of the recognizable sets of integers in terms of rational formal series. We also show that, for a numeration system constructed on a regular language of density in Θ(n),...

متن کامل

A Characterization of Multidimensional S-automatic Sequences

An infinite word is S-automatic if, for all n ≥ 0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d ≥ 2...

متن کامل

Cobham’s Theorem for Abstract Numeration Systems

Abstract numeration systems generalize numeration systems whose representation map is increasing and such that the language of all the representations is regular. We show that if a set of integers is recognized by some finite automaton within two independent abstract numeration systems, then this set is a finite union of arithmetic progressions.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 244  شماره 

صفحات  -

تاریخ انتشار 2000